- tesis de Church
- • Church's thesis
Diccionario Técnico Español-Inglés. 2013.
tesis de Church
Look at other dictionaries:
Tesis de Church-Turing — Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a… … Wikipedia Español
Tesis de Church-Turing — Todo algoritmo o procedimiento efectivo es Turing computable … Enciclopedia Universal
Church, Alonzo — (14 jun. 1903, Washington, D.C., EE.UU.–11 ago. 1995, Hudson, Ohio). Matemático estadounidense. Obtuvo su Ph.D. en la Universidad de Princeton. Sus aportes a la teoría de los números y a las teorías de algoritmos y computabilidad establecieron… … Enciclopedia Universal
Alonzo Church — Saltar a navegación, búsqueda Alonzo Church (14 de junio de 1903 11 de agosto de 1995), matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de … Wikipedia Español
Las 95 tesis — editadas por Melchior Lotter d.J., 1522s. El Cuestionamiento de Martín Lutero al Poder y Eficacia de las Indulgencias (publicado en latín como Disputatio pro declaratione virtutis indulgentiarum), más conocido como Las 95 tesis, desafió las… … Wikipedia Español
Un nuevo tipo de ciencia — Una nueva clase de ciencia (en inglés, A New Kind of Science) es un libro de Stephen Wolfram, publicado en 2002. Contiene un estudio empírico y sistemático de los sistemas computacionales tales como los autómatas celulares. Wolfram denomina… … Wikipedia Español
Alan Turing — Para otros usos de este término, véase Turing (desambiguación). Alan Turing Alan Mathison Turing Nacimiento 23 de junio de … Wikipedia Español
Teoría de la computabilidad — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
Máquina de Turing — Para otros usos de este término, véase Turing (desambiguación). Una máquina de Turing (MT) es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida en esta misma. Este … Wikipedia Español
Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… … Wikipedia Español
Turmite — En ciencias de la computación, un Turmite es una Máquina de Turing que se vale de una cinta bidimensional, haciendo alusión a la Teoría de la computabilidad, un Turmite tiene el mismo poder que una Máquina de Turing determinista; por el hecho que … Wikipedia Español
